Nuprl Definition : sum
11,40
postcript
pdf
sum(
f
(
x
) |
x
<
k
) == primrec(
k
;0;
x
,
n
.
n
+
f
(
x
))
latex
Definitions
primrec(
n
;
b
;
c
)
,
#$n
,
x
.
A
(
x
)
,
n
+
m
FDL editor aliases
sum
origin
x,n. n+f(x)) x,n. n+f(x)) x.A(x)